Theory of sketches for database mappings
نویسندگان
چکیده
This paper presents two basic operations, Separation and Data federation, for database schemas that are used in database mapping systems and explains why functorial semantics for database mappings need a new base category instead of usual Set category. A definition of graph G for a schema database mapping system and the definition of its sketch category Sch(G) are presented. Based on this framework, functorial semantics for database mapping systems with the new base category DB are also presented.
منابع مشابه
Data Base Mappings and Theory of Sketches
In this paper we will present the two basic operations for database schemas used in database mapping systems (separation and Data Federation), and we will explain why the functorial semantics for database mappings needed a new base category instead of usual Set category. Successively, it is presented a definition of the graph G for a schema database mapping system, and the definition of its ske...
متن کاملA Study on Properties of Dempster-Shafer Theory to Probability Theory transformations
In this paper, five conditions that have been proposed by Cobb and Shenoy are studied for nine different mappings from the Dempster-Shafer theory to the probability theory. After comparing these mappings, one of the considerable results indicates that none of the mappings satisfies the condition of invariance with respect to the marginalization process. In more details, the main reason for this...
متن کاملOn $F$-Weak Contraction of Generalized Multivalued Integral Type Mappings with $alpha $-admissible
The purpose of this work is to investigate the existence of fixed points of some mappings in fixed point theory by combining some important concepts which are F-weak contractions, multivalued mappings, integral transformations and α-admissible mappings. In fixed point theory, it is important to find fixed points of some classess under F- or F-weak contractions. Also multivalued mappings is the ...
متن کاملSketches, Views and Pattern-Based Reasoning
The mathematical theory of sketches provides a graphical framework for describing and relating knowledge representations and their models. Maps between sketches can extract domain-specific context from a sketch, express knowledge dynamics and be used to manage representations created for distinct applications or by different analysts. There are precise connections between classes of sketches an...
متن کاملStrong convergence results for fixed points of nearly weak uniformly L-Lipschitzian mappings of I-Dominated mappings
In this paper, we prove strong convergence results for a modified Mann iterative process for a new class of I- nearly weak uniformly L-Lipschitzian mappings in a real Banach space. The class of I-nearly weak uniformly L-Lipschitzian mappings is an interesting generalization of the class of nearly weak uniformly L-Lipschitzian mappings which inturn is a generalization of the class of nearly unif...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- IJIIDS
دوره 9 شماره
صفحات -
تاریخ انتشار 2015